Bird–Meertens formalism
関数型プログラミングの楽しみとか、そういう系の論文に出てくる記述はこれに見た目が似ているmrsekut.icon
コレなのか知らんけど
たとえばconcatにhttps://gyazo.com/5efa238cb1549915e11fd8dbd7deb6dfという記号を使うとか
例
map関数をBMFでは以下のように書く
$ f *\left[e_{1}, \ldots, e_{n}\right]=\left[f e_{1}, \ldots, f e_{n}\right]
The overall goal of Squiggol is to calculate programs from their specification in the way a math-ematician calculates solutions to differential equations, or uses arithmetic to solve numerical problems.